linear programming model formulation